Complexity issues on bounded restrictive H-coloring
نویسندگان
چکیده
منابع مشابه
Complexity issues on bounded restrictive H-coloring
We consider a bounded version of the restrictive and the restrictive list H-coloring problem in which the number of pre-images of certain vertices of H is taken as parameter. We consider the decision and the counting versions, as well as, further variations of those problems. We provide complexity results identifying the cases when the problems are NP-complete or #P-complete or polynomial time ...
متن کاملThe restrictive H-coloring problem
We define a variant of the H-coloring problem where the number of preimages of certain vertices is predetermined as part of the problem input. We consider the decision and the counting version of the problem, namely the restrictive H-coloring and the restrictive #H-coloring problems, and we provide a dichotomy theorem determining the H’s for which the restrictive H-coloring problem is either NP...
متن کاملClosing Complexity Gaps for Coloring Problems on H-Free Graphs
If a graph G contains no subgraph isomorphic to some graph H, then G is called H-free. A coloring of a graph G = (V,E) is a mapping c : V → {1, 2, . . .} such that no two adjacent vertices have the same color, i.e., c(u) 6= c(v) if uv ∈ E; if |c(V )| ≤ k then c is a k-coloring. The Coloring problem is to test whether a graph has a coloring with at most k colors for some integer k. The Precolori...
متن کاملSmall H-Coloring Problems for Bounded Degree Digraphs
An NP-complete coloring or homomorphism problem may become polynomial time solvable when restricted to graphs with degrees bounded by a small number, but remain NP-complete if the bound is higher. For instance, 3-colorability of graphs with degrees bounded by 3 can be decided by Brooks’ theorem, while for graphs with degrees bounded by 4, the 3-colorability problem is NP-complete. We investigat...
متن کاملComplexity Issues in Automated Addition of Time-Bounded Liveness Properties
In this paper, we concentrate on synthesis of real-time programs modeled by Alur and Dill timed automata for automatic addition of different types of time-bounded liveness properties. Time-bounded liveness (also called time-bounded response) – that something good will happen soon, in a certain amount of time – captures a wide range of requirements for specifying real-time and embedded systems. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Mathematics
سال: 2007
ISSN: 0012-365X
DOI: 10.1016/j.disc.2005.12.058